Benjamin C. Pierce - PDFSEARCH.IO - Document Search Engine

Benjamin C. Pierce
Results: 45

#	Item
11	Exploiting Schemas in Data Synchronization J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, and Alan Schmitt Abstract. Increased reliance on optimistic data replication has led to burgeon Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-09-16 09:24:54
12	Relational Lenses: A Language for Updatable Views Aaron Bohannon Benjamin C. Pierce Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-04-07 16:27:04
13	Relational Lenses: A Language for Updatable Views Aaron Bohannon Benjamin C. Pierce Jeffrey A. Vaughan Technical Report MS-CIS-05-27 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-12-26 23:53:53
14	Combinators for Bi-Directional Tree Transformations A Linguistic Approach to the View Update Problem J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, and Alan Schmitt University of Pennsylva Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-02-13 21:11:51
15	Boomerang: Resourceful Lenses for String Data Aaron Bohannon J. Nathan Foster Benjamin C. Pierce Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-11-19 16:10:30 Lens mounts Camera lens Bidirectional transformation Boomerang
16	Sensitivity Analysis using Type-Based Constraints Loris D’Antoni? Marco Gaboardi?‡ Emilio Jes´us Gallego Arias? Benjamin C. Pierce? Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-04-21 07:32:52
17	A Bisimulation for Type Abstraction and Recursion Eijiro Sumii Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-01-18 15:06:02 Mathematics Models of computation Denotational semantics Lambda calculus Model theory Π-calculus Bisimulation Orbifold Theoretical computer science Applied mathematics Logic in computer science
18	A Bisimulation for Type Abstraction and Recursion EIJIRO SUMII Tohoku University and BENJAMIN C. PIERCE University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-08-08 12:01:23 Lambda calculus Models of computation Logic in computer science Programming language semantics Denotational semantics Fixed-point combinator Model theory Simply typed lambda calculus Curry–Howard correspondence Theoretical computer science Applied mathematics Computer science
19	The Spider Calculus Computing in Active Graphs Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: dmwit.com Language: English - Date: 2010-08-11 18:23:14 Lambda calculus Process calculi Π-calculus Calculus Binary tree Combinatory logic Church encoding Graph FO Mathematics Theoretical computer science Applied mathematics
20	Differential Privacy for Collaborative Security Jason Reed, Adam J. Aviv, Daniel Wagner, Andreas Haeberlen, Benjamin C. Pierce, Jonathan M. Smith University of Pennsylvania ABSTRACT Add to Reading List Source URL: dmwit.com Language: English - Date: 2010-08-11 18:01:29 Computer network security Spamming Data privacy Differential privacy Botnet Privacy Internet privacy Information privacy Internet Relay Chat Computing Multi-agent systems Ethics

UPDATE